Simple Hyperintensional Belief Revision

A simple modal logic for belief revision

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule. Some theorems of this logic are derived concerning the interaction between current beliefs and future beliefs. Information flows and iterated revision are also discussed.

A simple modal logic for belief revision: Extended Abstract

The notions of static belief and of belief revision have been extensively studied in the literature. However, there is a surprising lack of uniformity in the two approaches. In the philosophy and logic literature the notion of static belief has been studied mainly within the context of modal logic. On the syntactic side a belief operator B is introduced, with the intended interpretation of B as...

Belief Revision

Philippa, a Greek nineteen year old student at Patras University, has just discovered that Nikos and Angela are not her true parents; she was adopted when she was six months old from an orphanage in Sao Paulo. The news really shook Philippa. Much of what she used to believe all her life about herself and her family was wrong. After recovering from the initial shock she started putting her thoug...

Belief Revision

From Belief Revision to Belief